unified type system (suomeksi)

Määritelmät:

(lb, en, object-oriented) A concept for computer language types where a primitive type can support methods and encapsulation, but only reference types support virtual methods and specialization.